Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
751	AI @ NICTA Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh Abstract NICTA is Australi Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-05-20 09:25:04 Mathematics NICTA Formal methods Constraint programming Operations research Solver Formal verification Open Kernel Labs Isabelle Applied mathematics Theoretical computer science Logic in computer science
752	IBM WebSphere ILOG Rule Solutions for Office Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:17 Artificial intelligence Constraint programming ILOG Business Business rule management system IBM WebSphere IBM IBM WebSphere Commerce IBM WebSphere Process Server Computing Rule engines Data modeling
753	Configuration as Composite Constraint Satisfaction Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 03:10:36 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Constraint graph Mathematical optimization Search algorithm Constraint Decomposition method Constraint programming Software engineering Computer programming
754	Spacetime Constraints Andrew Witkin Michael Kass Schlumberger Palo Alto Research 3340 Hillview Avenue, Palo Alto, CA 94304 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-01-10 14:19:30 Numerical analysis Constraint optimization Lagrange multiplier Constraint Quadratic programming Optimal control Least squares Constraint algorithm Mathematical optimization Mathematical analysis Economics
755	Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:51:04 Artificial intelligence Local consistency Constraint satisfaction problem Constraint satisfaction Constraint inference Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Computer programming
756	PDF Document Add to Reading List Source URL: cs.ulb.ac.be Language: English - Date: 2008-05-12 05:05:11 Computing Programming language theory Unified Modeling Language Boolean algebra Object Constraint Language Type system Boolean data type Enumerated type EXPRESS Data types Software engineering Type theory
757	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-11-05 13:18:14 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
758	From: AAAI-83 Proceedings. Copyright ©1983, AAAI (www.aaai.org). All rights reserved. INTELLIGENT CONTROL USING INTEGRITY CONSTRAINTS Jack Minker Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 18:28:48 Computing Programming paradigms Operations research Logic programming Prolog Mathematical optimization Backtracking Constraint logic programming Constraint satisfaction Constraint programming Software engineering Computer programming
759	Elicitation Strategies for Soft Constraint Problems with Missing Preferences: Properties, Algorithms and Experimental Studies Mirco Gelain1 , Maria Silvia Pini1 , Francesca Rossi1 , K. Brent Venable1 , and Toby Walsh2 1 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2010-05-12 15:34:36 Constraint optimization Constraint satisfaction problem Preference Constraint satisfaction Optimization problem Semiring Economics Applied mathematics Constraint programming Mathematical optimization Mathematics
760	Using Analytic CLP to Model and Analyze Hybrid Systems Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 07:30:08 Constraint programming Numerical analysis CLP Interval arithmetic Ordinary differential equation Runge–Kutta methods Software engineering Mathematics Computing

UPDATE